body {
	margin-top: 13px;
	background: white;
	font-family: monospace;
	font-size: 13px;
	margin-left: 32px;
	white-space: pre;
	background-image: url("images/line-numbers.png");
	background-repeat: repeat-y;
	background-position: 0 3px;
	line-height: 16px;
}
html>body {
	background-position: 0 2px;
}
P {
	margin: 0;
	padding: 0;
	border: 0;
	outline: 0;
	display: block;
	white-space: pre;
}
b, i, s, u, a, em, tt, ins, big, cite, strong, var, dfn {
	text-decoration: none;
	font-weight: normal;
	font-style: normal;
	font-size: 13px;
}
body.hide-line-numbers {
	background: white;
	margin-left: 16px;
}
body.show-line-numbers {
	background-image: url("images/line-numbers.png");
	margin-left: 32px;
}
